# Full text of "Fixed points and amenability in non-positive curvature"

## See other formats

(N c^ Contents FIXED POINTS AND AMENABILITY IN NON-POSITIVE CURVATURE PIERRE-EMMANUEL CAPRACE* AND NICOLAS MONOD* Abstract. Consider a proper cocompact CAT(O) space X. We give a complete alge- braic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the torsion- free case. f^ , We establish Levi decompositions for stabilisers of points at infinity of X, generalis- rvq ' ing the case of linear algebraic groups to \s{X). A geometric counterpart of this sheds light on the refined bordification of X (a la Karpelevich) and leads to a converse to the j^ . Adams-Ballmann theorem. It is further deduced that ummodular cocompact groups cannot fix any point at infinity except in the Euclidean factor; this fact is needed for the study of CAT(O) lattices. 1/^ ■ Various fixed point results are derived as illustrations. o j^ ■ 1. Introduction 1 2. On the structure of locally compact groups 6 3. Horoactions and Levi decompositions 9 4. Compactible subgroups and unimodularity 18 ^1 5. Amenable isometry groups 20 OO ■ References 31 in o ^ ■ 1. Introduction O ■ ^ I l.A. Amenable isometry groups. A celebrated theorem by Tits asserts that an arbi- trary group G C GL(y) of linear transformations of a finite-dimensional vector space V over any field is subjected to the following alternative: either G contains a non-abelian ^ I free subgroup, or G is soluble-by-{locaUy finite} (see Theorems 1 and 2 in [Tit72]). In ^ • particular a subgroup G C GL(y) is amenable if and only if it is soluble-by-{locally finite}. The importance of that result stimulated since then an active search for larger classes of groups satisfying a similar alternative. It is in particular a notorious open problem to obtain a version of the Tits alternative for groups G C Is(X), where X is a cocompact proper CAT(O) space, i.e. a non-positively curved proper metric space with a cocompact isometry group. Date: March 2012. * F.R.S.-FNRS research associate. Supported in part by FNRS grant F.4520.11 and by the ERC. 'Supported in part by the Swiss National Science Foundation and the ERC. 1 2 P.-E. CAPRACE AND N. MONOD While considering extensions of the Tits alternative to wider families of groups, it is natural to split the problem into two sub-questions, namely: (1) Does every non-amenable subgroup contain a free group? (2) What is the algebraic structure of amenable subgroups? Our first goal in this paper is to provide a complete answer to Question (2) for isometry groups of a cocompact proper CAT(O) space. To this end, we recall that the locally elliptic radical Rad_5f^ of a locally compact group is the largest normal subgroup which can be written as increasing union of compact groups (see [Pla65]). In case of discrete groups, locally elliptic is thus a synonym of locally finite. The following theorem shows that a subgroup is amenable if and only if it has a specific canonical decomposition into pieces that are either connected soluble or discrete soluble or locally elliptic, in analogy with Tits' description of amenable linear groups. Theorem A. Let X be a proper cocompact CAT(O) space. A closed subgroup H C Is(X) is amenable if and only if the following three conditions hold: (1) H° is soluble-by-compact, (2) H° Y{.a.d^s{H) is open in H, (3) H/{H° Radj^^iH)) is virtually soluble. Thus a closed subgroup H C Is(A') is amenable if and only if it is {connected soluble}- by-{locally elliptic}-by-{discrete virtually soluble}. In the same way as the Tits alternative can be used to find obstructions to linearity. Theorem A implies that many groups cannot appear as closed subgroups of a cocompact group of isometrics of a proper CAT(O) spaces. Since amenability passes to the closure, we still get restrictions on arbitrary amenable subgroups. As an extreme example, we recall that there is an active search for (infinite) finitely generated simple amenable groups; non-positively curved spaces will not be the natural habitat where to hunt for them: Corollary B. Let T be an infinite finitely generated amenable group. Assume that the only virtually abelian quotient ofT is the trivial one (e.g. T is simple). Then there is no non-trivial isometric T-action whatsoever on any proper cocompact CAT(O) space. l.B. Discrete amenable subgroups. Given a discrete group F acting properly and cocompactly on X, all the amenable subgroups of T are virtually abelian and stabilise a flat in X: this was proved by Adams-Ballmann (Corollary B in [AB98]) and generalises the Solvable Subgroup Theorem (Theorem II. 7.8 in [BH99]). We emphasize that Theorem A does not suppose the existence of any discrete co- compact group of isometrics: only the (possibly indiscrete) full isometry group Is(X) is assumed cocompact. Although discrete amenable subgroups of Is(X) need not be virtu- ally abelian (for instance the Heisenberg group over Z is a discrete subgroup of SL3(R)), Theorem A states that they must be {locally finite}-by-{ virtually soluble}. We remark that the virtually soluble quotient need not be finitely generated in general (this applies a fortiori to the discrete quotient of H in Theorem A). Indeed, a CAT(O) lattice such as SL„(Z[l/p]) contains the infinitely generated abelian group Z[l/p] as a subgroup. FIXED POINTS AND AMENABLILITY 3 Notice however that every finitely generated subgroup of 7j[l/p] is cyclic. This reflects a general property of Q-linear soluble groups, all of which have finite Priifer rank. Recall that this rank is the smallest integer r such that every finitely generated subgroup can be generated by at most r elements. Our next theorem establishes such a finiteness result in the generality of all proper cocompact CAT(O) spaces. Theorem C. Let X he a proper cocompact CAT(O) space. Then there is a constant r = r{X) such that the following holds. For every discrete amenable subgroup T < Is(X), the quotient T / lHad^c^^'i^) is virtually {torsion-free soluble of Priifer rank < r}. Remark that for each prime p, the lamplighter group CZi/p) I Z can be realised as a discrete group of isometrics of a cocompact CAT(O) space, since it embeds in the CAT(O) lattice Shn{F p[t,t~^]). Theorem C implies that, on the other hand, the wreath product Z ; Z cannot. Since torsion-free soluble groups of finite Priifer rank are known to be linear over Q by a theorem of Wehrfritz [Weh73, pp. 25-26], Theorem C has the following consequence. Corollary D. Let X be a proper cocompact CAT(O) space. Then any torsion-free discrete amenable subgroup T < ls{X) is Q-linear. D By a theorem of Sh. Rosset [Ros76], the kernel of any homomorphism of a finitely generated group of sub exponential growth to a virtually soluble group is itself finitely generated. As pointed out to us by Ami Eisenmann, the latter fact combined with Theorem C yields the following, since a virtually soluble group of subexponential growth is virtually nilpotent [Mil68]. Corollary E. Let X be a proper cocompact CAT(O) space. Then every finitely generated discrete subgroup T < Is(X) of subexponential growth is virtually nilpotent. Thus ls{X) does not admit discrete subgroups of intermediate growth. D Of course certain groups of intermediate growth can be embedded non-discretely into Is(X), for instance if they are residually finite like Grigorchuk's group. I.e. Refining spaces. A fundamental tool for the study of amenable subgroups of isometrics of a proper CAT(O) space X is the Adams-Ballmann theorem [AB98] which states that such a group preserves a flat or fixes a point at infinity. The first case of this alternative is of course highly satisfactory since the isometrics of Euclidean space form a very elementary Lie group, but the case of a fixed point at infinity seems at first sight to be of little help for the elucidation of the group. The way forward here is to use the transverse space X^ of a point (, G dX together with the canonical action of the stabiliser of ^ on X^, see Section 3.D below (in the classical case of symmetric spaces, this construction goes back at least to the Karpelevich compactification; in general, see also [LeeOO], [Cap09]). This opens the door to iterations, considering refining sequences {^i, ■ ■ ■ ,Ck): which are defined by ^i € dX and then ^j+i G c?X^^^,,,^^-. A refined point, flat, etc. refers to the corresponding object in some Xgj ,,,^^^ . With this terminology at hand, we can state a converse to the Adams-Ballmann theorem, whose proof relies on iterative constructions of liftings for transverse spaces with 4 P.-E. CAPRACE AND N. MONOD (generally non-continuous) associated honiomorphisms, and on an appropriate version of the Kazhdan-Margulis theorem. Theorem F. Let X be a proper cocompact CAT(O) space. Then the stabiliser of every refined flat of X is amenable (and closed). This is a converse because both theorems combine to give the following geometric characterisation of all amenable subgroups, thus complementing the algebraic charac- terisation of Theorem A: Corollary G. Let X be a proper cocompact CAT(O) space. Then a closed subgroup of ls{X) is amenable if and only if it preserves a refined flat. The 'only if direction follows from a simple iteration of the Adams-Ballmann the- orem [AB98]. This iteration process terminates after finitely many steps because the maximal index A; of a refining sequence (^i, . . . ,S,k) in X is bounded when X is cocom- pact. This bound, which we call the depth of X, turns out to coincide with the flat rank (see Corollary 3.20 below). There are groups for which every isometric action on a proper CAT(O) space must preserve a refined flat without requesting the amenability of the group. It is easy to produce such examples in a way that runs afoul of the combination of Corollary G and Theorem A, thus giving groups that cannot act at all. Here is an example: Corollary H. Richard Thompson's simple groups T and V do not admit any non-trivial isometric action whatsoever on any proper cocompact CAT(O) space. Recall that Thompson's group T can be viewed as the group of all orientation pre- serving piecewise affine transformations of R/Z which have dyadic breaking points and whose slopes are integral powers of two. Alternatively, it admits the following finite presentation, see [CFP96, §5]. T = (^a,b,c \ [ab~ , a~ ba], [ab^ , a" ba ], c~ 6a^ cb, {a^^cba^^bay^ba^^cb^, a~^ c~^ {a~^ cbf , c^) This group is known to have a very nice (proper) isometric action on a locally finite CAT(O) cube complex [FarOS], but the latter space is not cocompact - indeed not finite- dimensional. A similar construction is available for V . At the end of Section 5.B, we shall give various examples of groups, amenable or not, some of them torsion-free, for which no isometric action on any proper cocompact CAT(O) space can be faithful. Recall that every countable group embeds in a 2-generated simple group (see [Hal 74] and [Sch76]). Moreover, if the countable group in question is torsion-free, then the simple group can also be chosen torsion-free, as follows from Theorem A in []\Ici85] (see also Remark 2 on p. 392 in loc.cit.). Applying this embedding theorem to one of the torsion-free groups without faithful action on a proper cocompact CAT(O) space constructed in Section 5.B below, we obtain the following. Corollary I. There is an infinite 2-generated torsion-free simple group that does not admit any non-trivial isometric action on any proper cocompact CAT(O) space. D FIXED POINTS AND AMENABLILITY 5 Notice that the assumption that a space be cocompact, which does not impose any restriction on the action of the groups that we consider, does not either imply any sort of local regularity nor of finite dimensionality. For very explicit examples of proper cocompact minimal CAT(— 1) spaces that are infinite-dimensional, see [MP12]. l.D. Fixed points and Levi decompositions. In the quest for understanding cocom- pact CAT(O) spaces and their cocompact isometry groups, we have proposed in [CM09b] some structural results under the assumption that no point at infinity be fixed by the entire cocompact group. Notice however that the results stated above do not request that hypothesis; their proofs therefore require to study the remaining case, i.e when some point at infinity has a stabiliser acting cocompactly on the space. We shall prove that such a stabiliser admits a Levi decomposition generalising the situation of parabolic subgroups of semi-simple algebraic groups; moreover, the corresponding "Levi factor" will again be represented as a cocompact isometry group of a suitable CAT(O) subspace. Let thus X be a proper CAT(O) space, G < Is(X) a closed subgroup and ^ G dX. We define G^' := I 5 G G : lim d{g ■ r{t),r{t)) = Vr with r(oo) = A (where r : R — t- X are geodesic rays) . This is a closed normal subgroup of G^ . We recall that Opp(^) is the set of points ^' G dX that are visually opposite ^, i.e. such that there is a bi-infinite geodesic line in X with extremities ^ and ^'. The union of all such lines is denoted by P{^,^')', it is a closed convex subspace of X with a non-trivial Euclidean factor. If the stabiliser Is(X)g acts cocompactly, then the set Opp(i^) is non-empty. Theorem J. Assume that G^ acts cocompactly on X . Then for each ^' G Opp(^) we have a decomposition which is almost semi-direct in the sense that G^,^' H G^ is compact. In particular, G^ acts transitively on Opp(^). This algebraic Levi decomposition comes with the geometric counterpart below, which generalises the fact that, for semi-simple Lie groups, the Levi factor acts on a totally geodesic copy of its symmetric space embedded in the ambient space by the Mostow- Karpelevich theorem. Proposition K. In the setting of Theorem J, the double stabiliser G^^^/ acts cocompactly on P{S,,S,') and there is a canonical isometry P{^,S,') = R x X^ so that G^^^/ n Ker(/3^) acts cocompactly on X^. (Herein /3g : G^ — t- R denotes the Busemann character.) As we shall see in Section 4, the kernel of the G^-action on X^ is amenable. At this point, the following scheme emerges for a completely general cocompact group G of isometrics of a proper CAT(O) space X: If there is no global fixed point at infinity, then some structure results are provided in [CM09b]. Otherwise, we have a new cocompact G-action on a transverse space X^. On the one hand, the kernel of this G-action is amenable, and thus described by Theorem A. On the other hand, the remaining quotient of G is again a cocompact group of isometrics. 6 P.-E. CAPRACE AND N. MONOD and we can therefore repeat this dichotomic analysis. This process terminates in finitely many steps since each transverse space will sit in X with an additional Euclidean factor by Proposition K. Another motivation for Theorem J is the study of CAT(O) lattices (in the sense of [CM09a]). Since many of the results in [CM09b], [CM09a] depend on the assumption that no point at infinity be fixed simultaneously by all isometrics, it was quite valuable to know that uniform CAT(O) lattices (a.k.a CAT(O) groups) have no fixed point at infinity except possibly on the Euclidean factor (upon passing, if needed, to the canon- ical minimal invariant CAT(O) subspace). This was essentially established in [BS87], see [AB98, Cor. 2.7]. It has been generalised to finitely generated CAT(O) lattices in Proposition 3.15 of [CM09a]. However, none of these arguments seem to apply to infin- itely generated lattices; but using Theorem J we obtain the desired statement: Theorem L. Let X he a proper CAT(O) space without Euclidean factor and such that Is(X) acts cocompactly and minimally. IfT< ls{X) is any lattice, then there are no T -fixed points at infinity. As it turns out, the relevant consequence of Theorem J applies much more generally to unimodular groups: Theorem M. Let X be a proper CAT(O) space and G < ls{X) a closed subgroup acting cocompactly and minimally on X. If G is unimodular, then its fixed points at infinity are contained in the boundary of the Euclidean factor. Location of the proofs. Theorems A, C and F, as well as their corollaries, are proved in the final section of the paper. They rely on the one hand, on some facts pertaining to the structure theory of general locally compact groups, which we collect in a preliminary Section 2, and on the other hand on specific geometric tools, which are developed in Sections 3 and 4. Section 3 discusses the transverse spaces and refined bordification of X. It culminates in a proof of the Levi decomposition (Theorem J and Proposition K). The amenability of the "unipotent radical" in the Levi decomposition is established in Section 4, using a notion of compactible subgroups that is analogous but quite more general than the compaction groups studied in [CCMTll]. Compactibility is some weak form of con- tractibility, which is confronted to the invariance of the Haar measure under conjugacy in order to deduce Theorems L and M. The final Section 5 is devoted to the proofs of the geometric and algebraic characterisations of amenable subgroups. Acknowledgements. The final writing of this paper was partly accomplished when both authors were visiting the Mittag-Leffler Institute, whose hospitality was greatly appreciated. Thanks are also due to Ami Eisenmann for pointing out Corollary E. 2. On the structure of locally compact groups It seems that all the problems concerning the structure of locally compact groups have been completely solved. Hidehiko Yamabc, [Yam53, p. 352] FIXED POINTS AND AMENABLILITY 7 According to the solution to Hilbert's fifth problem, which we shall refer to as Yam- abe's theorem in the sequel, every locally compact group G such that G/G° is compact has a unique maximal compact normal subgroup W such that G/W is a virtually con- nected Lie group (see [Yam53] and Theorem 4.6 in [MZ55]). This plays a fundamental role in the proof of the following. Theorem 2.1. Let Y be a locally compact group such that the group of components Y/Y° is locally elliptic. Then y/Rad^^(y) is a Lie group, Y° Rad_^^(y) is open in Y and the discrete quotient y/(y° Radjf^(y)) is virtually soluble. The part of the statement not regarding virtual solubility was obtained in Theorem A. 5 from [CTll]. We emphasize that the discrete quotient Y/{Y°Rad_^^Y)) need not be virtually torsion-free. Indeed, this is illustrated by the semi-direct product y = r2 X Cpoo < r2 X 0(2), where Cpoc denote the group of all p"-roots of unity with p a prime and n > an arbitrary integer. In this example the radical Rad_sf^(y) is trivial and the group of components Y/Y° = Cpoo is abelian and locally elliptic, but not virtually torsion- free. The proof of Theorem 2.1 requires some preparation and will be given at the end of this chapter. 2. A. Locally compact subgroups of Lie groups. Following the general convention in the theory of locally compact groups, we define a Lie group as a locally compact group G such that the identity component G° is open in G and is a connected Lie group in the usual sense. Proposition 2.2. Let G be a Lie group and H be a locally compact group admitting a continuous faithful homomorphism into G. Then we have the following. (i) H is a Lie group, (ii) If G/G° is virtually soluble, then the following assertions are equivalent: (a) H/H° is virtually soluble; (b) H/H° is amenable; (c) H/H° does not contain non-abelian free subgroups. Proof, (i) is an immediate consequence of the characterization of Lie groups as those locally compact groups having no small subgroups, see [MZ55]. (ii) Assume that G/G° is virtually soluble. The implications (a) =^ (b) =^ (c) are clear. We assume henceforth that (c) holds. Let a: if —t- G be a continuous faithful homomorphism, let B = a{H) and A = a{H°). Thus ^ is a closed connected normal subgroup of B, hence A < B°. By Theorem 2.1 from Chapter XVI in [Hoc65], the quotient of a connected Lie group by a dense connected normal subgroup is abelian. This implies that A/a{H°) is abelian. So is thus H^/H°, where H^ = a'^iA). Let also H^ = a~^{B°). Then the discrete group H"^ /H^ embeds in the connected Lie group B° /A. By hypothesis H'^/H^ does 8 P.-E. CAPRACE AND N. MONOD not contain non-abelian free subgroups. It must therefore be virtually soluble by the Tits alternative [Tit 72]. Thus H^/H° is virtually soluble, and it remains to show that H/H^ is virtually soluble. Since the latter embeds continuously and faithfully in B/B°, it suffices to prove that B/B° is virtually soluble. In other words, we have reduced the problem to the special case when H = B is a. closed subgroup of a Lie group G with G/G° virtually soluble. This is what we assume henceforth. Since H° is contained in G°, there is no loss of generality in assuming that G is connected. Let R be the soluble radical of H° and S = H° / R. Let J be the inverse image in H of ^iJij{{S). Since J is an extension of i? by a subgroup of H/H°, it follows that J does not contain non-abelian free subgroups. Moreover, since the outer automorphism group of the semisimple Lie group S is finite, it follows that the image of J in H/H° is of finite index. By the Tits alternative, a subgroup of a connected Lie group which does not have free subgroups must be virtually soluble. Thus J, and hence also H/H°, is virtually soluble, as desired. D 2.B. Central extensions of locally elliptic groups. Proposition 2.3. Let G be a locally compact group and Z < G be a closed subgroup contained in the centre J2f{G). IfG/Z is locally elliptic, then G/ Rad_^<g>(G) is abelian (and torsion-free). Proposition 2.3 is a companion to the following classical result. Theorem 2.4 (Usakov [Usa63]). Let G be a locally compact group in which every con- jugacy class has compact closure. Then the union of all compact subgroups of G forms a closed normal subgroup, which therefore coincides with Rad_sf^(G), and the corresponding quotient G/Rad_5f^(G) is abelian (and torsion-free). D Proof of Proposition 2. 3. We are given a short exact sequence 1— )'Z— )'G— t-Q— )-l with Z central in G and Q locally elliptic. Let G' = Gj Rad_5f^(G) and Z' be the closure of the image of Z in G'\ write Q' = G' jZ' and consider the short exact sequence \^Z' ^G' ^Q' ^\. The normal subgroup Z' is central in G' (since the image of Z is dense) and the quotient Q' is locally elliptic (since it is a quotient of Q). Thus the latter short exact sequence satisfies the hypotheses of the Proposition. We need to show that G' is abelian. Let now g\,g2 G G' . Then {^1,^2} is contained in a group H which an extension of Z' by a compact group since Q' is locally elliptic. Thus every conjugacy class in B has compact closure, and it follows from Theorem 2.4 that ff/ Rad^^(-fr) is abelian and torsion- free. We first specialize this observation to the case when (71,92 are both elliptic. It then follows that 91,52 S Rad_5f^(iJ), and thus that 91,92 belong to a common compact subgroup of G' . Therefore the set of elliptic elements of G' is a subgroup, and must therefore be contained in Rad_5f^(G') = 1. It follows that G' has no nontrivial compact subgroup. FIXED POINTS AND AMENABLILITY 9 Applying again the observation above to two arbitrary elements gi,g2, and taking now into account that Iiad^^{H) is trivial (since G' has no nontrivial compact subgroup), we infer that H is abelian and, hence, that gi and g2 commute. Thus G' is abelian, as desired. D 2.C. Connected quotients and Proof of Theorem 2.1. The last tool that we need is the following fact; for the proof, we refer to Lemma 2.4 in [CCMTll]. Lemma 2.5. Let G be a locally compact group with a quotient map n: G ^^ L onto a Lie group L. Themr{G°) = L° . D As pointed out in [CCMTll], this statement can fail if L is not Lie; for an elementary substitute in the general case, see Lemma 5.3 below. Proof of Theorem 2.1. Let y be a locally compact group such that Y/Y° is locally el- liptic. In order to prove the Theorem, we may assume without loss of generality that Radj5f^(y°) = 1. Thus Y° is a connected Lie group by Yamabe's theorem. Theorem A. 5 from [CTll] then yields that y° Rad^^(y) is open in Y. In particular y/Rad^^(y) is a Lie group. It remains to show that Y / {Y° Yla,<lj^g{Y)) is virtually soluble. Let vr: y — ?• Aut(y°) be the homomorphism induced by the conjugation action of Y on y°. Since Aut(y°) acts faithfully on the Lie algebra of y°, we may assume that vr takes its values in GL„(R) for some n. By Proposition 2.2, the group vr(y) (endowed with the quotient topology from y/Ker(7r)) is a Lie group. Consequently Lemma 2.5 yields tt{Y°) = 7r(y)°. In particular the group of components 7r(y)/7r(y)° is a quotient of Y/Y° , and is thus locally elliptic, hence amenable. Invoking Proposition 2.2 again, it follows that 7r(y)/7r(y)° is virtually soluble. Since Ker(7r) = .^y(y°) > Rad_g'^(y), all it remains to show is that Y°^Yiy°)/y° Rad^^(y) ^ 2fY{Y°)/Y° Radi^^(y) n ^{Y°) is virtually soluble. Observing further that y° Rad^^(y) n 5^(y°) = (y° n 3^y{y°)) Rad^^(y) = ^{y°) Rad^^(y), the remaining statement to be proven is that 3fY{Y°)/3f{Y°)'Rady^{Y) is virtually soluble. Notice that Z = 3f{Y°) is central in 2^YiY°). Moreover the quotient ^r(y°)/Z ^ Y°2fY{Y°)/Y° is locally elliptic, as it is isomorphic to a subgroup of Y/Y°. We are thus in a position to apply Proposition 2.3 to the group i^(y°). This implies that ^Y(y°)/Radif^(^Y(y°)) is abelian. Hence so are the groups J^y(y°)/Rad^^(y) and 3rY{Y°)/3f{Y°) Rad^^(y). This concludes the proof. D 3. HOROACTIONS AND LEVI DECOMPOSITIONS 3. A. Transverse spaces and horoactions. To each point ^ G dX at infinity of a CAT(O) space X, one associates a new CAT(O) space X^ called the transverse space of S, and defined as follows. Consider the set Xc of all rays r: R+ — )■ X pointing to ^. We claim that the infimal distance dfir.r') = inf d(r(t),r'(t')) ^ t,t'>o 10 P.-E. CAPRACE AND N. MONOD between rays is a pseudometric. Indeed, this follows from the convexity of the distance: more precisely, there is a constant C (which is none other than the difference between the Busemann functions associated to r and r') such that (3.i) dAr,r') = lim d(r(i), r'(t + C)) t— >-oo holds. Now we define X^ to be the (Hausdorff ) metric completion of the pseudometric space X|, still denoting the resulting metric by d^. The formula (3.i) shows that X^ is a CAT(O) space and there is a canonical 1-Lipschitz map X — )• X^ with dense image. Any isometry g oi X induces an isometry X^ — )■ Xg^. In particular, there is a canonical isometric action of the stabiliser Is(X)^ on X^. Definition 3.1. The isometric Is(X)g-action on R x X^ given by uji-: G^ ^ Is(RxX5) u}(.{g): {t,x) I — > {t + /3^{g),g.x) is called the horoaction. Here, (i^{g) is the Busemann character associated to S,, which we recall can be expressed as t— >oo l^da) = lim [dir{t),xo) - d{r{t),gxo) where r is any ray pointing to ^ and xq any point of X. Remark 3.2. This definition shows that the kernel Ker(aj^) of the horoaction is precisely the normal subgroup G^ < G^ introduced before the statement of Theorem J. Some basic properties of the transverse space X^ are collected in the following propo- sition. A point ^ G dX is called a cocompact point at infinity if its stabiliser Is(X)g acts cocompactly on X. Proposition 3.3. Let S, G X^. We have the following. (i) X^ is a complete CAT(O) space. (a) The canonical homomorphisni Is(X)g — )■ Is(X^) is continuous. (Hi) If X is of bounded geometry, then so is X^; in particular, X^ is proper in that case, (iv) If X is of bounded geometry, then it has finite depth. (v) If a subgroup of ls{X)^ acts cocompactly on X, then it acts cocompactly on Xg. In particular, X^ is a cocompact space whenever ^ is a cocompact point. Proof. For (i), (ii) and (iii), see Proposition 4.3 from [C'apOD]. As for (iv), it follows from Corollary 4.4 in [C'ap09]. The last item is straightforward. D Remark 3.4. Given a proper CAT(O) space X and a closed subgroup G C Is(X) fixing a point ^ G dX, we warn the reader that the image oj^{G) of G under the horoaction need not be closed in Is(Rx Xg). Indeed, consider the CAT(O) space X = H xT, defined as the product of the hyperbolic plane H = H^ and the p + 1-regular tree T, where T is viewed as the Bruhat-Tits tree of SL2(Qp). Let G C Is(X) be the infinite cyclic group G = {(J M|zGZ} diagonally embedded in SL2(R) x SL2(Qp) C Is(A:). Then G is discrete, hence closed in Is(X). It fixes a point ^ at infinity of the H^-factor, annihilates FIXED POINTS AND AMENABLILITY 11 the Busemann character (3^ associated to that point, and fixes a point x G T in the tree factor. Since ^ hes on the boundary of the factor H, we have X^ = [H x T)^ = H^^ x T = T since H^ is reduced to a singleton because H is CAT(— 1). In other words there is a canonical isometry T — t- X^ which is Is(X)^-equivariant. In particular the closure of the image w^(G') of G under the horoaction in Is(R x X^) is isomorphic to the closure of G in SL2(Qp), and is thus compact and infinite. In particular ijo^{G) is not closed. 3.B. Lifting the transverse space. . . . quelque chose d'aussi naif que I'entreprise d'atteindre Vhorizon en marchant devant soi. Marcel Proust, A la recherche du temps perdu - Alhertine disparue, 1927 Our next goal is to construct an isometric section X^ — )■ X for the projection X — )■ X^ when .^ is a cocompact point at infinity (or opposite a cocompact point). We first record in Proposition 3.7 below an elementary observation which is valid under a much weaker assumption. Definition 3.5. Let G be any group acting by isometrics on a CAT(O) space X. We call ^ G dX a radial limit point (of G) if there is a sequence {gn} in G such that for some ray tq : R"*" — )• X pointing to S,, the sequence g~^ro(0) converges to ^ while remaining at bounded distance of tq. Notice that in that case, the condition holds for all rays r pointing to ^. In fact, q^^xq converges to ^ while remaining at bounded distance of r for any xq G X. Therefore we shall simply call such a sequence {gn} radial for ^. Remarks 3.6. (1) If X is cocompact, then any ^ G dX is a radial limit point. (2) This definition should be distinguished from certain notions of conical limit points that are not equivalent in the absence of negative curvature (for instance, the terminology of [Hat05] is incompatible with that of [Alb99]). (3) When no G is given, it is always understood that G = ls{X). For radial limit points, a simple limiting argument provides the following weak form of lifting, to be strengthened for cocompact points in Theorem 3.9 below. Proposition 3.7. Let X he a proper CAT(O) space. For every radial limit point ^ G dX, there exists an isometric embedding R x X^ — )■ X. The proposition has the following immediate consequence for the geometric dimen- sion of the Tits boundary; a stronger statement for cocompact spaces will be given in Corollary 3.20 below. Corollary 3.8. If ^ £ dX is a radial point of the proper CAT(O) space X, then dim(aXg) < dim(5X) - 1. D Proof of Proposition 3.7. Let tq, {gn} be as in Definition 3.5. Let tn ^ be such that ro{tn) is the projection of g~^rQ{0) to tq. Then, for any given r in X^, the sequence 12 P.-E. CAPRACE AND N. MONOD 5n(^(in)) remains bounded in X. Therefore there is a simultaneous accumulation point for the family (indexed by r G Xt) of sequences of isometric maps [-t„,oo) — > X, ti — > gn{r{t + tn)), uniformly on bounded intervals. This accumulation point is therefore a map /* from Xt to the set of isometric maps R — )■ X. By construction, any two maps in the image of /* remain at bounded distance. More precisely, the (Hausdorff) distance between /*(r)(R) and /*(r')(R) is exactly dg(r, r') for any r, r' G X| . Denote by T the metric space of all lines at finite distance of /*(ro)(R) endowed with Hausdorff distance. The union of all these lines is a convex subset of X isometric to the product R x T, see [BH99, II. 2. 14]; in fact this union is closed, i.e. T is complete (compare e.g. the last sentence before Remark 40 in [MonOG]). The map /* : Xt — ?• T preserves (pseudo-)distances; therefore, X^ is isometric to a subset of T, finishing the proof. D Following [CM09b], we say that a point ^' G dX is opposite to ^ if there is a geodesic line in X whose extremities are ^ and ^'. We say that ^' is antipodal to ^ if Zt(C) C) = '^■ Thus the set Opp(.^) of points opposite to ^ is contained in the set Ant(^) consisting of all antipodes of ^. It is shown in [CM09b, Proposition 7.1] that if Is(X)g acts cocompactly, then Opp(^) is non-empty and any closed cocompact subgroup of Is(X)g acts transitively on Opp(C). Given ^' G Opp(^), we denote by P{S,,^') the union of all geodesic lines joining S, to ^' . The set P{S,,£,') is closed and convex in X; moreover there is a canonical isometric identification (3.ii) p(e,e') = Rxy for some complete CAT(O) space Y (see [BH99, II. 2. 14]). When ^ is cocompact, the following Theorem identifies Y with X^ and in particular provides an isometric section X^ — )• X for the canonical map X — )■ X^. Theorem 3.9. Assume that ^ is cocompact. Then, for any ^' G Opp(^), the factor Y in (3.ii) is canonicallly isometrically identified with X^ under the map X — t- X^. Thus, there is a canonical isometric identification P(^,^') = R X X^ which is Is{X)^^^' -equivariant, the space R x X^ being endowed with the horoaction. Proof. Let tq: R — )■ X be a geodesic line with ro(— oo) = ^' and ro(+oo) = ^. Since S, is cocompact, there is a sequence {gn} in Is(X)g such that d((7„.ro(0),ro(— n)) remains bounded. By convexity, g-nifoin)) remains bounded in X and therefore we are in par- ticular in the situation of the proof of Proposition 3.7. We thus obtain an isometric map R X X^ — > P{^, ^') = R X y C X preserving the product decomposition, yielding in particular a (non-canonical) isometric embedding l : X^ — )• Y. On the other hand, the restriction of X — t- X^ to P{(,, ^') induces a canonical isometric map -d: Y ^ X^ by the definition of X^ . Now t? o /, is an isometric self-map of the space X^ which is cocompact by Proposition 3.3(v). It follows that this self-map is onto (Proposition 4.5 in [CSll]) and thus t? is onto too. FIXED POINTS AND AMENABLILITY 13 The action of Is(X)^^^/ preserves the decomposition (3.ii) by construction and thus is a product action, see [BH99, 1.5.3(4)]. The formula with I3^{g) follows by direct computation. D The cocompactness of S, does not imply the cocompactness of its opposites (as il- lustrated by Heintze manifolds [Hci74]). Nevertheless, these opposites still enjoy the conclusions of Theorem 3.9. To make this statement precise, observe that the canonical isometry P{^,S,') = R x X^ induces a canonical isometric embedding X^ — )• X^i. Proposition 3.10. Let S,' be any point opposite a coconipact point ^. Then the canonical isometric embedding X^ — )■ X^i is an isometry. In particular, P{S,, ^') = H x X^i and this identification is compatible with the horoaction uj^i ofls{X)^^^i. Proof. Keep the notation of the proof of Theorem 3.9 and consider the ray r^ : R''" — )■ X defined by r^it) = ro(— t). Observe that the sequence {ff^^} is as required in the proof of Proposition 3.7 with ^' instead of ^. We thus obtain an isometric embedding HxX^i — t- X such that one endpoint of the R- factor is ^; we denote the opposite endpoint by ^" . We therefore have an isometric embedding of R x X^' — t- X into P{£,",(,) = R x Z (for some Z) preserving the product structures. Moreover, Theorem 3.9 provided canonical isometrics PiC',0 = P{e,0 = Rxx^ preserving the product structures. At this point we have mutual isometric embeddings of R X X^' and R x X^ into each other and conclude as in the proof of Theorem 3.9 since R x X^ is cocompact by Proposition 3.3(v). D Remark 3.11. It follows from Theorem 3.9 and Proposition 3.10 that if ^ G dX is a cocompact point, or if it is opposite a cocompact point, then the (non-Hausdorff ) space X^ is already complete and the map X — )• X^ is onto. 3.C. Existence of a 'Levi decomposition'. The following result will be our tool to investigate large stabilisers of points at infinity. Incidentally, it refines Proposition 7.1 in [CM09b] which stated that if G^ acts cocompactly on X, then it acts transitively on opp(e). Theorem 3.12. Let G < Is(X) be a closed subgroup and assume G^ acts cocompactly on X . Let N < G^ be a subgroup that is normalised by some radial sequence {hn} in G^ for ^. Let ^' G dX be a limit point of {hn}; hence ^' G Opp(^). Then, writing N^ = A^nKer(a;^) where uj^ is the horoaction, we have a decomposition N = Ni.,- N"" which is almost semi-direct in the sense that N^'CiN'^ has compact closure. In particular N^ acts transitively on the N -orbit of ^' in Opp(^). The theorem applies in particular when A^ is a normal subgroup of G^. In that case, the above decomposition hold for any ^' G Opp(^) since G^ acts transitively on Opp(^) by Proposition 7. 1 in [CM09b] . Thus we obtain Theorem J as the case N = G^, recalling Remark 3.2 for the notation G^. We shall carry out the first part of the argument in a more general setting: for the time being, we only assume that ^ is a radial limit point of G. 14 P.-E. CAPRACE AND N. MONOD Let ro be a ray pointing to ^ and {g-n} be any radial sequence as in Definition 3.5. At this point there is no additional restriction on {gn}, though for Theorem 3.12 we will later choose gn = h^- As in the proof of Proposition 3.7, we have (upon passing to subsequences) a sequence of numbers in > such that the sequence of maps [-t„,00) > X, t\ > gn{rQ{t + tn)) converges to a geodesic line u: R — ?• X uniformly on bounded intervals. In particular, gni converges to the point rj := a{co) and gn^oiO) to rj' := (t(— oo). We denote by /: R X X^ —7- X the isometric embedding constructed in Proposition 3.7 and observe that / ranges in P(r/, r]') by construction. A convexity argument shows that the sequence Ad{gn){g) = gnggn^ remains bounded in G whenever g G G^. Therefore, we can chose a map g: G^ — t- G that is a (point- wise) cluster point of the sequence Ad((7„)|G . By construction, ^ is a group homomorphism; it need not be continuous, see Example 3.14 below. Proposition 3.13. In the above setting, the following hold. (i) q{G^) C Gr,,r,', (ii) Ker(^) C Ker(a;,y o ^) C Ker(a;^), (Hi) PrjO Q = (3^, (iv) The isometric embedding /: R x X^ — )• P{ri,rj') is g-equivariant for G^. Proof. Points (i) and (iv) follow from the construction of g and /. Likewise for point (iii), using that the pointwise convergence on Busemann functions corresponds to the cone topology on the boundary. Turning to (ii), let g £ G^ he an element acting non-trivially on X^. Then there is a ray n asymptotic to tq and e > such that d{gri{t),ri{,s)) > e for all s,t > 0. This implies that g{g) moves a line parallel to cr(R) by at least e. Thus uj^{g(g)) ^ 1, which shows that Ker(Li;^o^) acts trivially on the transverse space X^. Together with (iii), this establishes the non-trivial inclusion of (ii). D Proof of Theorem 3.12. We now assume that G^ is cocompact and consider the radial sequence {hn] in G^ given by hypothesis. We first observe that the image of {/in} in Is(Xj) is bounded and hence we can assume that it converges to some a € Is(Xg). We now specialise the above discussion to the case gn = /in.. In particular, r/ = ^ and V = C- The sequence Ad(a;g(/in)) converges to Id x Ad(a) as automorphisms of Is(R x X^) and hence the diagram G, >G. U)^ C ^ "-^5,?' wf Is(R X X.) V Is(R X X.) ^ '^' IdxAd(a) ^ '^' is commutative. Since each h^ normalises A^, the automorphism Id x Ad(Q;) preserves ixi^{N). We deduce that u)^{N) = uji:{g{N)) C uj^{N^i) and therefore uj^{N) = u}^{N^'). It follows that we have A = A^/-Ker(a;5|7v). This provides the desired decomposition of N. FIXED POINTS AND AMENABLILITY 15 For the compactness statement about N^' n N'^, we claim that this intersection acts trivially on P{S,, S,')- Indeed, N^' preserves P{S,, S,') and the horoaction of A^" on R x X^ is trivial; therefore, the claim follows from Theorem 3.9. D Proof of Proposition K. Pick pQ G P{^, ^') and let i? > be such that X = G^.B{po, R). Given p G P{^,^'), there is (7 G G^ such that d{g.p,po) < R. By Proposition 7.1 in [C'MOOl)], G^ acts transitively on Opp(^); therefore, the decomposition of Theo- rem 3.12 applied to N = G^^ shows that G^ = G n Ker(a;^) also acts transitively. Thus there exists k G Gc be such that kg.^' = S,'; in particular we have kg G G^^^'. Since both Po and kg.p belong to P{S,,S,'), we deduce from Theorem 3.9 that d{po,kg.pf = {bi:{po) -b^{kg.p))^ + d{TT^{kg.x),7r^{po)f = ikiPo) - kia-V)? + d{-ni.{g.x),T:i:{pQ)f < d{g.x,po)'^ + d{g.x,pof < 2R^, where tt^ denotes the Gg action on X^. Thus we have -P(^, $,') ^ G^^^'.B{pQ, v2-R), which confirms that Gg^^' acts cocompactly on P(^,^'). The additional statements now follow by applying Theorem 3.9. D The following example shows that g need not be continuous. Example 3.14. Consider the simplicial line L whose vertex set {vn)nez is linearly ordered by the integers. Let T be the tree obtained by adding to L a collection of vertices of valency one, say {v!^,v!^ : n G Z}, where v'^ and f^ are declared adjacent to u„. We view T as a metric tree with all edges of length one. Thus T is a CAT(O) space with two endpoints, say ^ and ^'. The isometry group G = Is(r) acts cocompactly. Let t G G be the translation defined by t: (u„,u(j,f^) 1— > {vn-iiv'n-i^v'^-i) for all n. We have G^ = G^^^i = (Wz Z/2) x Z, where the cyclic factor Z is the group generated by t. Let now g: G^ — t- G be a limit point of the sequence Adt^jc . We claim that g is not continuous. Indeed, let /„ G G be defined by {vm.v'm^v'^) if m<n {vm,v'^,v'^) if m>n and set /oo : {vm,v!^,v'^) 1— )■ {vm,v'^,v!^) for all m. Then lim^i /„ = Id. On the other hand, for all n and we have limfc t^fnt~^ = /oo so that p{fn) = /oo 7^ Id. In particular g is discontinuous at the identity. Notice however that, although g is not continuous, the composite map a;^ o ^ is al- ways continuous, in view of the commutative diagram from the proof of Theorem 3.12, recalling that the horoaction is continuous by Proposition 3.3(ii). 3.D. Iterations and the refined bordification. The concept of transverse space sug- gests iterative constructions; this is formalised in the following definition. Definition 3.15. A refining sequence for the CAT(O) space X is a sequence (^1, . . . , ^i^) with A; > 0, ^1 G dX and ^i+i G (?X^^ .,.^^. for i > 1 (/c = corresponds to the empty sequence). The refined bordification of X is the set of refined points (^1, . . . , i^^; x), wherein (Ci, . . . ,Cfc) is a refining sequence and x G X^^^...^^^.. Thus, A; = corresponds 16 P.-E. CAPRACE AND N. MONOD simply to a point x G X. We call k the depth of the refined point. The depth of the space X is the supremum of the depths of its refined points. (A characterisation of the depth of cocompact spaces will be given in Corollary 3.20 below.) Thus the space X is contained in the refined bordification, while dX is a quotient of it. Our next goal is to iterate the constructions described in the previous sections in order to lift transverse spaces of depth > 1 in an equivariant way with respect to their stabilisers. Given a refining sequence (^i, . . . ,^fc), we endow the space R' X ^5i,...,C. with the refined horoaction (of depth k) of Is(X)g^^...^^j., which is the product of the canonical action on X^^ ,,,^^^ and the translation action on R'^ provided by the product /5g^ X • • • X /3^^ of the Busemann characters. The case A; = 1 in the following result is covered by Propositions 3.7 and 3.13. Proposition 3.16. Let X be a proper CAT(O) space and G < Is(X) be a closed sub- group acting cocompactly. For every refining sequence (Ci; • • • iCfc)? there is an isomet- ric embedding f: R'^ x Xg^.^^^j, — >• X and a (possibly discontinuous) homomorphism q: G^i,...,^fe — )• G such that f is g- equivariant for G^i,...,^;, ?fe- Proof. We shall construct inductively for < i < A; an isometric embedding /»:R^xX5„„„^, and a homomorphism such that /(*' is ^^^^ -equivariant for G^^^,,,^^. . The final step i = k will yield a map / = / and a homomorphism g = g^ ' enjoying the requested properties. We start with /(°) = Id: X — )• X and g^^^ = Id: G ^ G. For the inductive step, we now let i > 0. Viewing X^i,...,^i_j as a subspace of R*""'^ x X^i,...,^;.^, we may view £^i as a point of (9(R*~^ X X^^^ ^^,_^). It therefore makes sense to consider the image f^^~^'{Ci), which we denote by ^^ E dX. In particular we obtain an induced isometric embedding R''~^ X Xg^,,,,,^, -^ X^:^, which we also denote by Z'*"^-*. The induction hypothesis ensures that the isometric embedding Id X /(*-^) : R X R'^^ X X^^,...,^^ ^ R x X^/ is f)(*~^)-equivariant for G^j^...^^. (where the domain R x R'^-*^ x X^^^,,,^^, is endowed with the refined horoaction of depth i of the stabiliser G^^^...^^.). Since G is cocompact, we can choose a sequence of isometrics {gn }n in G that is radial for ^.•. Propositions 3.7 and 3.13 then yield an isometric embedding /(') : R X Xw ^ X FIXED POINTS AND AMENABLILITY 17 and a honiomorphism such that /(^^ is o(^)-equivariant for Gt/. We then set f{i) ^ f{i) o (Id X /(*-^)) : R X R*-i X X^,,,,,,^. ^ X and Since Id x /^*~^' was shown to be ^'^*~^'-equivariant for G^^^...^^. , it follows that f^^' is f3^*^-equivariant, which completes the induction step. D Remark 3.17. We record for later references that the homomorphisni g is constructed as a composed map g = g^ ' o • • • o g^^' , where each g^'^' is constructed as a pointwise limit, on its domain of definition, of a sequence of inner automorphisms of G. The latter remark combines with the following elementary fact. Lemma 3.18. Let G be a second countable locally compact group, HOG any sub- group and gi, ■ ■ ■ , gk o sequence of (possibly discontinuous) group homomorphisms with gi: H ^ G and ^j+i : Im(gj) — )• G. // each gi is a pointwise limit, on its domain of definition, of a sequence of inner automorphisms of G, then so is the composed map g = gk° ' ' ■ ° Qi- H ^ G. Proof. It suffices to prove the statement for k = 2; the general case follows by induction. Let thus -F be a finite subset of H and U be an open neighbourhood of g2{H) in G. There is a G Inn(G) such that a{gi{F)) C U. Since a is continuous, there is a neighbourhood V of gi{F) in G such that a{V) C U. Let /3 G Inn(G) be such that /3(F) C V. Then C(/3{F) C U. Notice moreover that the inner automorphisms a and /3 can be chosen in some fixed countable dense subgroup of G, which exists since G is assumed second countable. Repeating the argument for arbitrarily small neighbourhoods U of g2{H) and arbi- trarily large finite subsets F C H, we get a net of inner automorphisms of G of the form {af3}u,F, whose restrictions of H have the composed homomorphism g = g2 o gi as a limit point. By construction each element of the net belongs to a common countable subgroup of G; therefore the above net is actually a sequence. D Corollary 3.19. The homomorphism g: H ^ G provided by Proposition 3.16 is a pointwise limit of a sequence of inner automorphisms of G. Proof. Immediate from Remark 3.17 and Lemma 3.18, recalling that G is second count- able because X is proper. D We warn the reader that, although ^ is a pointwise limit of a sequence (an)n>o of inner automorphisms of G, this does however not imply that (an)n>o admits a subsequence whose restriction to H converges pointwise to g (this reflects the fact that an uncountable product of metrizable topological spaces need not be first countable). However, there does exist such a subsequence in case the subgroup H is countable. The flat rank of a CAT(O) space is the supremum of the dimensions of its isometrically embedded Euclidean subspaces. By Theorem C in [KIc99], the flat rank of a cocompact 18 P.-E. CAPRACE AND N. MONOD proper CAT(O) space X is given by 1 + dim(3X), where dX is endowed with the Tits metric and dim is the supremum of the topological dimensions of compact subsets. Proposition 3.7 leads to an additional characterisation: Corollary 3.20. Let X be a cocompact proper CAT(O) space. Then the depth of X coincides with its flat rank. In fact, we have dim(9X^j^...^^^) < dini{dX) — k for every refining sequence {^i, . . . ,£,k)- Proof. The embedding R'^ x X^^^ ,c^ — ;• X from Proposition 3.16 indeed yields the inequality dim(5Xj^^,,,^^^) < dim((9X) — k. Taking a refined point of maximal depth, we deduce in particular that the flat rank of X is at least its depth. On the other hand, it follows readily from the definitions that the flat rank of any CAT(O) space is a lower bound for its depth. D 4. COMPACTIBLE SUBGROUPS AND UNIMODULARITY 4. A. Compactible subgroups. Let G be a locally compact group. We propose the following generalization of the concept of contractihle groups introduced by P. Miiller- Romer [MR76]. A (not necessarily closed) subgroup A < G is a compactible subgroup with limit K \i K < G \s a compact subgroup such that for every neighbourhood U oi K \a G and every finite set F C A there is a G Aut(G) such that a{F) C U . (We write Aut(G) for the group of continuous automorphisms of G.) A sequence {«„} in Aut(G) such that an{o) — ^ K for all a € A will be called a com- pacting sequence, and we also call a sequence {gn} in G compacting if the sequence of inner automorphisms Ad(g'„,) is compacting. The main difference with the notion of compaction groups from [CCMTll] is that we deform A within the ambient group G rather than only within itself. Proposition 4.1. If A < G is closed and compactible, then it is amenable. Proof. By a result of Reiter's (Proposition 1 of §3 in [RciTl]), it suffices to prove the following: for every finite set S (^ A there are non- negative ip G L^{G) of integral one with II S99 — c^lli arbitrarily small for all s G S". Let thus S be given. Let tf; be some left i('- invariant non-negative ip G L^{G) of integral one. By continuity of the G-representation on L^{G), there is a neighbourhood V of the identity in G such that \\v^lJ — "^lli is as small as desired for all f G V. By assumption there is a G Aut(G) such that a{S) C VK. Let Acict) be the modulus of a (VII §1 No 4 in [B0T1O4]); then (p = AG{oi)ip o a has the required property. D The algebraic structure of a compactible subgroup can in fact be described more precisely using the following observation combined with Theorem 2.1. Proposition 4.2. Let G be a locally compact group and A < G be a compactible sub- group. Let Y = A- G°. Then Y/Y° is locally elliptic. Proof. Since Y° = G°, there is no loss of generality in assuming that G is totally dis- connected. FIXED POINTS AND AMENABLILITY 19 Recall that every compact subgroup of a totally disconnected locally compact group is contained in a compact open subgroup (see Lemma 3.1 from [Cap09]). It follows that every finite set of elements in A is contained in some compact subgroup of G. Thus A is locally elliptic. Hence so is its closure A by Lemma 2.1 from [Cap(J9]. D Corollary 4.3. Let G be a locally compact group and A < G be a closed compactible subgroup. Then A° Rad^^(A) is open in A and the discrete quotient A/{A° Rady^{A)) is virtu- ally soluble. Proof. Let y = ^ • G°. Thus Y/Y° is locally elliptic by Proposition 4.2. Let TT-.Y^Y/RadMY) be the canonical projection. By Theorem 2.1, the quotient Y/'Rad^g-{Y) is a Lie group whose group of components is virtually soluble. Moreover A, and hence also A/A°, is amenable by Proposition 4.1. Therefore 7r{A) is a Lie group and Tr{A)/TT{A)° is virtually soluble by Proposition 2.2. Since A n Ker(7r) is contained in Rad_sf^(^), we infer that A/ Rad_^^{A) is a quotient of tt{A), and is thus itself a Lie group whose group of components is virtually soluble. From Lemma 2.5, it follows that A° Radj^g{A) / Rad^^{A) = (^/Rad^^(A))°. Therefore A/A° Rady^{A) is discrete and virtually soluble, as desired. D 4.B. Compactible subgroups and the refined bordification. Given a refined point {^i, . . . ,^k]x), all the Busemann characters /3^. are well-defined on the iterated stabiliser ^Civ,Cfe ^^^ hence also on G^i,...,5fc;x- Proposition 4.4. Let X be a proper CAT(O) space and G < Is(X) be a closed subgroup acting cocompactly. For any refined point (^i, . . . ,^fc;x), there is a sequence in G which is compacting for the stabiliser Ggi,...,^^.;^ n (nj"=i Ker /3^J . This strengthens a statement for totally disconnected groups contained in Proposi- tion 4.5(iii) in [Cap09]. Proof. The group G^j^^,,,^^i^-x^{r\i=i ^^^ /^cJ i^ ^ point stabiliser for the refined horoaction of G'gi,...,5j. on R'^ X Xg^^ ^g^. Let f-.R'^x X^^^ ^g^. — > X and g: G^^^..^^^. — ^ G be the maps provided by Proposition 3.16. The ^-equivariance of / implies that £'(G'^i,...,5j.;x) fixes the point f{x) G X, and is thus relatively compact in G. By Corollary 3.19, the homomorphism g is a pointwise limit of some sequence {Ad gn) of inner automorphisms of G. Since g{G^^^,,,,^i^-x) is contained in the compact group Gft^^)^ it follows that {Adgn) is a compacting sequence for G^i,...,^;,;^- D Corollary 4.5. Let G be a locally compact group acting continuously, properly and cocompactly by isometrics on X . Then the stabiliser of every point in the refined bordi- fication is amenable. Proof. Immediate from Propositions 4.1 and 4.4. D 20 P.-E. CAPRACE AND N. MONOD 4.C. Unimodular groups do not fix points at infinity. We begin with a general restriction for compactible subgroups in unimodular groups. Proposition 4.6. Let G be a unimodular locally compact group, H < G a closed sub- group and {gn.jneN a compacting sequence for H in G. If {gnddn^} remains bounded for each g £ G, then H is compact. Proof. Let K < G he a, compact subgroup with g-ahgn^ — )• K for all h £ H. Let further [/ C G be any non-empty relatively compact open set. We claim that the union of all g-nUgn^ is relatively compact. For this claim there is no loss of generality in assuming G to be a-compact. For each compact set C C G, let Uc = U nf]^g~^Ggn- As G ranges over a countable exhaustion of G, the sets Uc form a cover of U by sets closed in U. Therefore, Baire's theorem implies that there is some compact G such that Uc has non-empty interior. Since U has compact closure, we can find a finite set F (^ G such that the set UcF covers U . Since the union of all gnFg~^ is relatively compact, the claim follows. We thus have a compact set Q ^ G containing all gnUg~^. Fix any compact neigh- bourhood (S* of X in G. Let p be an integer such that p\U\ > \QS\, where | • | denotes a Haar measure on G. If, towards a contradiction, H is non-compact, then we can find hi,...,hp G H such that all Uhi are disjoint. However, when n is large enough, all gnUhig^^ lie in QS, which is impossible by comparing the measures. D Proof of Theorem, M. Let ^ S dX be a point fixed by the unimodular group G. By [CM09b, Prop. 7.1] the set Opp(^) is non-empty. Let ^' S Opp(^). Theorem J yields a decompo- sition where Gc = Ker(a;^) is the kernel of the horoaction. Any radial sequence {gn} for S, is compacting for G^ (this is in fact a very basic case of Proposition 4.4). Moreover, gnggn^ remains bounded for all g vn G = G^, as observed in Section 3.C. Therefore, Proposition 4.6 implies that G^ is compact. However, a compact normal subgroup of a group acting minimally must be trivial. We deduce that G = G^,^'; in particular, G preserves P{^,^') which is thus equal to X. In conclusion, X admits a product decomposition X = R x X^ such that the pair {^, ^'} corresponds to the boundary of the line-factor. In particular every point ^ G dX fixed by G lies on the boundary of the Euclidean de Rham factor of X, as desired. D Proof of Theorem L. Since Is(X) admits a lattice, it is unimodular. Therefore Theo- rem M implies that Is(X) does not have a fixed point in dX. Now the "geometric Borel density" established in Theorem 1.1 of [CM09a] yields the conclusion. D 5. Amenable isometry groups La methode de cet artificieux Bouillon, c 'est [. . . ] de rester, en fin de conipte, le moyenneur des situations. Charles-Augustin Saintc-Bcuvc, Causeries du lundi, tome 12, 1856 FIXED POINTS AND AMENABLILITY 21 5. A. Refined fiats. We define a refined fiat of depth A; in X to be a flat contained in a space of the form X^^ ,,,^gj,, where (^i, . . . ,^k) is a refining sequence. Thus a flat of depth is a flat in X. A key ingredient needed in the proof of Theorem A is the theorem by Adams-Ballmann from [AB9.S]. We shall use the following formulation of their result. Proposition 5.1 (Adams-Ballmann). Let X be a proper CAT(O) space of finite depth (e.g. cocompact, see Proposition 3.3(iv)). Every amenable group acting continuously by isometrics on X stabilises a refined flat. Proof. Follows from a repeated application of the Adams-Ballmann theorem [AB98]; the hypothesis that the depth is flnite guarantees that the process terminates after flnitely many steps. D Before proceeding to the proof of Theorem A, we shall undertake to prove Theorem F, providing a converse to Proposition 5.1 and thus establishing Corollary G. We point out that Theorem F is not a direct consequence of the amenability of the kernel of the reflned horoaction, because the image of a (reflned) flat stabiliser in the isometry group of that flat need not be closed, see Remark 3.4. Therefore, we flrst need to record a consequence of a theorem by Kazhdan-Margulis (see Theorem 8.16 from [Rag72]). To this end, we recall that the space of all closed subgroups of a locally compact group G is compact when endowed with the Chabauty topology [Cha50]. Moreover the Chabauty space of closed subgroups is metrisable provided G is second countable; this happens e.g. when G is a closed subgroup of Is(X), where X is a proper metric space. Proposition 5.2. Let G he a locally compact group whose identity com,ponent G° has no non-trivial compact normal subgroup. Let {Tj)j^j be a net of discrete free subgroups converging in the Chabauty topology to a closed subgroup L <^ G. Then the neutral component L° is an ahelian Lie group. Proof. By van Dantzig's theorem [vD31, page 18], the group G has an open subgroup O (thus containing G°) such that O /G° is compact. By Yamabe's theorem Rad_5f^(0) is compact and G° is a Lie group. Moreover Theorem 2.1 implies that Rad_5f^(0)G° = Rad_5f^(0) X G° is open in O. Upon replacing O by that subgroup, we shall assume henceforth that O is a direct product of a connected Lie group and a compact (proflnite) group. Since O is open, we have LCiO = limj(rj n O). Since the desired conclusion concerns the group L° <^ G° 'Z Q, there is therefore no loss of generality in assume that all the subgroups Tj are contained in O or, equivalently, that G = O. Then G = K x G°, where K = Rad_^^(G) is compact and the identity component G° is a Lie group. Since G° is a Lie group, so is L°. Let vr: G — )■ G° be the canonical projection, which is proper since K is compact. Thus 7r(rj) is a discrete free group for all j. Let U be an open relatively compact identity neighbourhood of the connected Lie group G° as provided by the Kazhdan-Margulis theorem (see Theorem 8.16 from [Rag72]). Since L° C G°, we have L° = tt{L°) = {Ur\ 7r(L°)) C ([/ n 7r(L)) C lim{U H TriTj)). j 22 P.-E. CAPRACE AND N. MONOD The Kazhdan-Margulis Theorem ensures that {U rnriTj)) is nilpotent, hence cychc, for all j. Since a limit of abelian subgroups is abelian, it follows that L° is abelian. D We shall also need an elementary general fact related to Lemma 2.5 above: Lemma 5.3. Let N be a closed normal subgroup of a locally compact group H . Then the image of H° in H/N is dense in {H/N)°. In particular, if N is compact, then we obtain an identification H°/{H° n iV) = {H/N)°. This statement fails for general topological groups; recall for instance that R is the quotient of a totally disconnected group (see Exercice 17 for III §2 in [Bou60]). Proof of the lemma. The image of H° in H/N lies in {H/N)°; denote its closure by L. Now {H/N)° /L is a connected group contained in {H/N)/L. Writing the latter as H/H°N, we see that it is a quotient of the totally disconnected group H/H° . For locally compact groups, total disconnectedness passes to quotients (by van Dantzig's theorem [vD31, page 18]). Thus {H / N)° / L is also totally disconnected, hence trivial as claimed. The additional statement for N compact follows from the properness of the map H -^ H/N. D Here is a last preparation for the proof of Theorem F. Lemma 5.4. Let G be a group acting isometrically on a complete CAT(O) space X and let Y C X be a G-invariant closed convex subspace of finite coradius in X. If G preserves a refined flat of X, then it also preserves a refined flat (of the same dimension) ofY. Proof. The statement is formulated in such a way that it passes to transverse spaces, since dX = dV and since there is a canonical isometric map of finite coradius 1^ — )• X^ for all S, G dX. Therefore, it suffices to deal with the case of depth zero, i.e. a G-invariant flat F C. X. Since the projection vr: X — )■ y is G-equivariant, it is enough to show that vr is isometric on F. The function x i— )• d{x, Y) is convex and bounded, therefore it is constant on F. Denote this constant by D. We claim that Tr{F) is convex; this claim will finish the proof because the function y i— )• d{y, F) is constant on it{F) and therefore the sandwich lemma [BH99, II. 2. 12] will apply. Let thus x,x' £ F and let y be any point on the segment [7r(x), 7r(x')]. By convexity of the metric, the distance between y and the corresponding point z on the segment [x, x'] (for simultaneous affine parametrisations) is at most D. However, y is in y and z is in F. By uniqueness of the projection, we deduce y = tt{z) and the claim is proved. D Proof of Theorem F. Suppose for a contradiction that H < G := Is(X) is a non- amenable closed subgroup which stabilises a refined fiat F C X^^^,.,^^^. Upon replacing X by a minimal non-empty G-invariant closed convex subset, we may assume that G acts minimally. Indeed, Lemma 5.4 ensures that H still preserves a refined fiat (still denoted by F as above) and the restriction homomorphism to the isometries of the minimal subset has compact kernel. This reduction ensures that G has no non-trivial compact normal subgroup, and hence the unique maximal compact normal subgroup Rad_sf^(G°) of G° is trivial. Notice that Hn [ ni=i Ker(/3g,)) is closed and co-amenable in H. Therefore it is non- amenable, and upon replacing H by that intersection, we may assume that H annihilates each Busemann character /3^. . FIXED POINTS AND AMENABLILITY 23 Let A^ be the pointwise stabiliser of F in H. Thus N is amenable by Corollary 4.5, so that the quotient H/N endowed with the quotient topology is non-amenable. The iJ-action on F induces a continuous embedding vr: H/N — t- Is(-F). Since Is(-F) is a Lie group, so is H/N by Proposition 2.2(i). Moreover, since Is(F) is amenable, the neutral component [H/N)° must be amenable as well, since non-amenable connected Lie groups cannot be continuously embedded in amenable Lie groups (this follows e.g. from the fact that any non-trivial continuous homomorphism of a simple Lie group is proper, see [BM96, Lemma 5.3] or [dC'09]). Therefore the group of components {H/N)/{H/N)° is non-amenable, and hence contains a non-abelian free subgroup by Proposition 2.2(ii). Denoting by H^ the preimage of {H/N)° in H, we infer that H^ is an open normal amenable subgroup of H, and that the quotient H/H^ contains a non-abelian free sub- group. Let now a,b £ H he elements which freely generate a non-abelian free subgroup modulo H^. Then (a, 6) n H^ is trivial, since otherwise there would be a word in the generators a,b which gets killed in the quotient H/H^, contradicting the presupposed freeness. It follows that P = (a, b) is a discrete non-abelian free subgroup of H, hence of G, which stabilises the refined flat F C X^^^...^^^,, acts faithfully on F, and annihilates each Busemann character /3^. . Let /: R^ x X^-^ ,,^gj, — )• X and ^: P — )• G be the maps provided by Proposition 3.16. Thus F' = /(R X F) is a flat in X. Moreover, the equivariance afforded by Proposi- tion 3.16 ensures that the map g is injective and that its image ^(P) stabilises F' . By assumption the image of P in the Lie group Is(F) is non-discrete. In particular the closure of its image has a non-trivial identity component. Consequently the closure of the image of ^(P) in Is(F') has a non-trivial identity component. Let K be the pointwise stabiliser of F' in G. Thus K is compact, and it follows from Lemma 5.3 that ^(P) has a non-trivial image in ls{F'). Moreover Proposition 2.2(i) implies that ^(P) is open in ^(P). By Corollary 3.19, the homomorphism ^: P — )■ G is a pointwise limit of a sequence (an)n>o of inner automorphisms of G. Since P is countable, we may assume, upon extracting, that the sequence of restrictions (an|r)n converges pointwise to g. Up to a further extraction, we may also assume that the sequence of conjugates an(r) converges in the Chabauty topology to some closed subgroup L. It then follows that g{T), and hence also the closure g{T), is contained in L. By Proposition 5.2 the identity component L° is an abelian Lie group. Thus ^(P) is an abelian open normal subgroup of g{T). Therefore ^(P) n ^(P) is an abelian normal subgroup of ^(P) which is dense in g{T) . By construction g{T) is a non-abelian free group, and has thus no non-trivial abelian normal subgroup. Consequently ^(P) n ^(P) is trivial, and so is g{T) . This contradicts the fact that ^(P) has a non-trivial image in Is(F'). □ 5.B. Structure of amenable closed subgroups. We finally record the following clas- sical characterisation of amenability for connected locally compact groups: Proposition 5.5. A connected locally compact group is amenable if and only if it is {connected soluble} -by- compact. 24 P.-E. CAPRACE AND N. MONOD Proof. Let G be a connected locally compact group. By the solution of Hilbert's fifth problem [MZ55, 4.6], G is compact-by-Lie. Furstenberg has shown that a connected Lie group is amenable if and only if it is {connected soluble}-by-compact [Fur63, Theo- rem 1.7]. Finally, Iwasawa has shown that the class of {connected soluble}-by-compact I.e. groups is closed under extensions [Iwa49, Theorem 18]. D Proof of Theorem A. The 'if part is clear. Conversely, let H < Is(X) be a closed amenable subgroup. Then H° is soluble- by-compact in view of Proposition 5.5 and hence (1) holds. By Proposition 5.1, we find an if -invariant refined flat F C X^^^ ,c^ of depth k. In particular we have a continuous homomorphism ip: H ^Is{F) ^R" >sO{n), where n = dimF. We endow the image fiH) with the quotient topology from H. By Proposition 2.2, the amenable locally compact group ^{H) is a Lie group and its group of components (p{H)/ip{H)° is virtually soluble. By Lemma 2.5, we have (p{H°) = ip{H)°. Thus the normal subgroup K = H° ■ Ker{ip) is open in H and the quotient H/K = ip{H) / (p{H)° is virtually soluble. The kernel A = Ker((/9) fixes F pointwise, and is thus compactible by Proposition 4.4. Therefore A° Rad_^^(A) is open in A and the quotient A/A° Rad_^^(A) is virtually soluble by Proposition 4.2. In particular the group H° ■ A° Rad^^(A) = H° Rad^^(yl) is open m. K = H° ■ A, hence in H. Since Rad_5f^(A) is characteristic in A, we have Rad_2'^(A) < Radyg{H), and we infer that H°Rad^s'{H) is open in H, which proves assertion (2). For (3), recall from the above that H/K and A/A°Ra,d_^g{A) are both virtually soluble. Therefore, so is H°A/H°Radj^s{A) = K / H° R&dses{A) . Virtual solubility being stable under group extensions, we infer that if /if ° Rad_5f^(A) , and (3) follows since Rad^#(A) < Rad^^(if ). D The following lemma is well-known; a proof can be found in [dlHRV94, Proposition 4]. Lemma 5.6. A homomorphic image of a finitely generated group in any compact group is residually finite (thus the same holds for its image in a locally elliptic group). D Proof of Corollary B. Let X be a cocompact proper CAT(O) space with an isometric F-action and let if be the closure of the image of F in Is(X). The image of F in if/(if° Rad_^^( if)) is trivial since this quotient is virtually soluble by Theorem A; thus if = if° Rad_5fcf(-ff)- Since if° is soluble- by-compact by Theorem A, we deduce from Lemma 5.6 that the image of F in if / Radjf^( if ) is soluble and hence trivial. It follows if = Rad_5f^( if), but this implies that if is compact since F is finitely generated; we finally conclude that H is trivial by applying again the residual finiteness argument. D We now turn to Corollary H and refer to [CFP96] for an introduction to Thompson's groups F, T and V . Since T and V are simple and contain F, it suffices to produce a non-trivial kernel in F to ensure that the entire T- or ^/-action be trivial. Thus the following statement implies Corollary H. FIXED POINTS AND AMENABLILITY 25 Corollary 5.7. Any isometric action of Thompson's group F on any proper cocompact CAT(O) space factors through the abelianisation F — t- F/[F,F] = T? . Proof. Let X be any proper cocompact CAT(O) space and assume that F acts isomet- rically on X; let vr: F — )• Is(X) be the associated group homomorphism. According to Corohary 2.3 of [CM09a], the group F fixes a point in the compactification X' whenever it acts isometrically on any proper CAT(O) space X' . Thus in particular it satisfies the conclusion of the Adams-Ballmann theorem and therefore we can deduce as in Proposi- tion 5.1 that F preserves a refined fiat (in fact a refined point) for X. Now Theorem F implies that the closure H < Is(X) of tt{F) is amenable; we can therefore apply Theo- rem A. Recalling that the derived subgroup [F, F] is simple, we deduce that vr([F, F]) lies in H° Rad_2'^(-ff). Recall next that [F, F] contains many isomorphic copies of -F; we chose one such subgroup Fi = F in [F,F]. By Lemma 5.6, the homomorphism from Fi to (^H° R&d^g{H)) / H° must annihilate [Fi,Fi] since the latter is simple. Thus 7r([Fi,Fi]) is contained in the soluble- by-compact group H°. Choosing once again an isomorphic copy F2 = F in [Fi, Fi], one more application of Lemma 5.6 shows that 7r([F2, i<2]) lies i n the soluble radical of H°. This shows that tt{[F2, F2]) is trivial since [i^2) -^2] is simple (non-abelian) . We have established that vr has a non-trivial kernel; this implies that vr is trivial on all of [F, F] since that group is simple. D The strategy of the above proof is the following: (i) prove a refined fixed point (or fiat) property for a subgroup (not necessarily involving amenability); (ii) apply Theorem F to deduce that its closure in Is(X) is amenable; (iii) play off the structure provided by Theorem A against the structure of the given group. This strategy can be implemented in many other cases; here is a first example: Corollary 5.8. Let G be a finitely generated group isomorphic to G x G. For any isometric G- action on any proper cocompact CAT(O) space, there is a decomposition G = G X G for which that action factors through the first factor. Moreover, if one chooses a priori decompositions G = G" for n G N, then for any isometric G-action on any proper cocompact CAT(O) space of fiat rank < n, one of the n factors in G" acts trivially. We recall that every countable group can be embedded in a group G = G x G as above [Mei82, Cor. 6]. Moreover, there are torsion-free examples; for instance, following the proof of Proposition 7 in [Mei82] , consider two copies U, V of the Baumslag-Solitar group BS{2,3): U = {a,t: t~^a^t = a^), V = {b,s: s~^b^s = b^). Then t and [a,t~^at\ freely generate a free group, as do \b,s~^bs\ and s. Define T to be the free product of U and V amalgamated over these free subgroups (with the generators identified in the order given above) . Then Meier exhibits a (non-trivial) finitely generated subgroup G = G X G in the full product T^ . Notice that T is obtained by successive HNN-extensions and amalgamated products, starting with infinite cyclic groups and amalgamating over free subgroups (of rank one and two). Elementary Bass-Serre theory (or classical HNN-theory [Neu54, §5]) thus implies that T is torsion-free; hence G is torsion-free as well. 26 P.-E. CAPRACE AND N. MONOD Proof of Corollary 5.8. It suffices to prove the second statement since the factors of G" can be suitably re-arranged as G x G. Therefore, we fix some decomposition G = G" and an isometric G-action on a proper cocompact CAT(O) space X of flat rank < n. In order to be able to pass to successive transverse spaces, we only retain the weaker information that X is proper of flat rank < n (which is preserved thanks to Proposition 3.16). Such a space cannot contain a product of n unbounded convex subspaces. Therefore, the splitting theorem of [Mon06] (specifically, Corollary 10 therein) implies that either G fixes a point at infinity of X, or one of the factors of G" preserves a bounded subset of X, hence fixing a point. In any case, it follows by induction that one factor H = G of G" fixes a refined point. Applying successively Theorem F and Theorem A, we find that the image of H is Is(X) is obtained by various extensions of soluble and residually finite groups (appealing to Lemma 5.6 for the residual finiteness). However, a finitely generated group isomorphic to its own square does not have any non-trivial finite or abelian quotient; thus H acts trivially indeed. D It was pointed out in the introduction, as a consequence of Theorem C, that the wreath product Z ; Z cannot be a discrete subgroup of Is(X) for any proper cocompact CAT(O) space X. The assumption of discreteness is essential in that observation, since the group Z I Z does admit faithful actions by automorphisms on regular locally finite trees. This should however be contrasted with the torison-free elementarily amenable group G= ((Z;Z);Z) ;Z---, which is more precisely defined as the increasing union of the groups Gi = Z, G„+i = G„;Z= (0G„) xZ, z where G„ is identified with its copy at the coordinate zero in G„+i. Corollary 5.9. For any isometric G-action on any proper cocompact CAT(O) space, there is a subgroup of G isomorphic to G which acts trivially. Proof. This follows from Theorem A once one observes that the kernel of any homomor- phism from G to any soluble group and to any locally {residually finite} group contains a subgroup isomorphic to G. D 5.C. Discrete amenable subgroups and soluble groups of finite rank. In view of Theorem A, discrete amenable subgroups of Is(X) are {locally finite}-by-{virtually soluble}. The main result of this section is the much more precise statement of Theo- rem C. We recall that a group is said be of Priifer rank r if every finitely generated subgroup can be generated by at most r elements, and if r is the smallest such integer. This notion is sometimes simply called the rank in the literature and we shall do so for brevity's sake. For example, the additive group Q** is of rank n. Soluble groups of finite rank have been studied extensively since Mal'cev's foundational work in the early 1950's. An overview of their theory, including many far-reaching results can be consulted in the book [LR04]. At this point, we only record the elementary fact that the class of groups of finite rank is closed under group extensions: more precisely, if G is a group with a normal subgroup N such that N and G/N have rank r and r' respectively, then G has rank at most r -\-r' . FIXED POINTS AND AMENABLILITY 27 The proof of Theorem C has a structure roughly parahel to that of Theorem A, and will be given at the end of the section. We shall need to study stabilisers of refined flats; the discreteness assumption on T is exploited in combination with some rigidity properties on discrete amenable subgroups of Lie groups. Our first task is thus to collect those various subsidiary results, notably on Lie groups. Although they are probably well-known, we nevertheless supply proofs, by lack of ap- propriate references. The first is a variation on Bieberbach's theorem. Proposition 5.10. Let n > 0. Given a closed subgroup H of the Lie group R" x 0(n), the group of components H/H° is {free abelian of rank < n} -by-finite. Notice that the order of the finite quotient cannot be bounded by a function of n, since the circle group S^ contains cyclic subgroups of arbitrarily large order. Proof of Proposition 5.10. Let E" be the Euclidean n-space, so that Is(E"') = R" xiO(n). We work by induction on n, the base case n = being trivial. If H stabilises a proper Euclidean subspace, let N be the (compact) kernel of the in- action on that space; thus H/N can be identified with a closed subgroup of R™ x 0{m) for m < n. By induction, {H/N)/(H/N)° is {free abelian of rank < mj-by-finite. But this group is a quotient of H/H° by Lemma 5.3. The kernel of this quotient is finite, so that in this case we are done since a finite-by-{free abelian of rank < r?i}-by-finite group is {free abelian of rank < m}-by-finite. We assume henceforth that H acts minimally on E". Let F C En be a minimal /^"-invariant Euclidean subspace, and set m = dim(F). The union of the collection of all such subspaces is itself a Euclidean subspace which is ff-invariant, and must therefore coincide with E*^ by minimality. Therefore we obtain an ii-invariant product decomposition with the additional property that the ii°-action on the second factor E""*" is trivial. Let p: H ^ Is(E'") and p' : H ^ Is(E'^~"*) be the canonical projections. We have seen that H° < Ker(p') = H' . Pick a base point x G E™ and set H^ = Stab//(3;). Thus the intersection Hx H H' is compact, and hence the projection p'{Hx) — Hx/{Hx D H') is a closed subgroup of Is(E"-'"). By [DS02], the neutral component H° acts transitively on its minimal subspace F = E'". Equivalently p{H°) is transitive on E™, and thus H = Hx ■ H° ■ In particular H = Hx- H', hence we have p'{H) ^ H/H' ^ Hx/{Hx n H') ^ p'{Hx). Therefore, the projection p'{H) is a closed subgroup of Is(E"~'"), which must be discrete since p'{H°) is trivial. In particular H/H' is virtually {free abelian of rank < n — m} by a version of Bieberbach's theorem, see e.g. Theorem 2 in [OliSO]. As H° < H', the transitivity of p{H°) on E™ also implies H' = {Hx n H') ■ H°. It follows that H'/H° is compact, hence finite. Consequently H/H° is an extension of H/H' by a finite normal subgroup. Thus H/H° is virtually a free abelian group of rank < n — m, as desired. D Proposition 5.11. Let G be a connected Lie group. Then there is r = r[G) such that every discrete amenable subgroup T < G has the following properties: 28 P.-E. CAPRACE AND N. MONOD (i) r is {torsion-free polycyclic of rank < r} -by- finite. (a) Rad_5f^(r) is finite and r/Rad_s^^(r) is {torsion-free polycyclic of rank < r}-by- {finite of order < r}. Proof. Let F < G be a discrete amenable subgroup. Then F is virtually soluble by Propo- sition 2.2. By Corollary 8.5 from [Rag72], any non-empty collection of soluble subgroups of G has a maximal element. Recalling that polycyclic groups are precisely those soluble groups satisfying the ascending chain condition on subgroups (see e.g. [LR04, 1.3.1]), we infer that T is virtually polycyclic. Consequently it is finitely generated and virtually {torsion- free polycyclic}. The bound on the rank of the polycylic kernel in terms of G follows from [AtisGO] (and can be traced back to Zassenhaus [Zas38]). Thus (i) holds, and the finiteness of Radjf^(r) follows. Let now F < G be a discrete subgroup which is {torsion-free polycyclic of rank n}- by-finite. In order to establish (ii), we proceed by induction on n, the case n = being trivial. Assume now n > 0. Then F has a non-trivial free abelian normal subgroup, say Z™ = A < T, with m < n. The conjugation action of F on j4 yields a homomorphism TT : F -^ GLm(Z) whose kernel is ^r(^) • A. The index of a torsion- free normal subgroup vr(F) is bounded above by a constant depending only on m. Therefore 7r(F) is {torsion-free polycyclic of rank < r'}-by-{finite of order < r'} for some r' depending only on n. On the other hand, the induction hypothesis applies to the quotient Ker(7r)/A, which is a central extension of Ker(7r). Bearing in mind that a central extension of a locally elliptic group is {locally elliptic}-by-{torsion-free abelian} (see Proposition 2.3), we infer that the group Ker(7r)/Rad_sf^(Ker(7r)) is {torsion-free polycyclic of rank < r"}-by- {finite of order < r"} for some r" depending only on n. Assertion (ii) follows since Rad_sf^(Ker(7r)) < Radif^(F). D Finally, we record an abstract group theoretic property. Lemma 5.12. Let T be a countable group. Assume there are constants r, M > such that for every finitely generated subgroup A < F, the radical Rad^^(A) is finite and the quotient A/Rad_sf^(A) is {torsion-free polycyclic of rank < r}-by-{finite of order < M}. Then F/Rad_^^(F) is {torsion-free soluble of rank < r}-by-finite. Proof. We enumerate the elements of F as F = {71,72, . . . }. For each n > 0, let A„ = (71, • • • , 7n) and i?„ = Radif^(A„). For m > n, the finite quotient Rn/ Rm H Rn embeds in Km/Rm- Its order is thus bounded above by M. Since Rn is finite, we find a sequence of indices (mj)j such that 77ii+i > rui > n and that the intersection i^^. n Rn is constant and has index at most M in i?„. Setting R'^ = Rm^ n Rn and noticing that P|^ Rm^ is finite group that is normalised by all elements of F, we infer that R'^ C {^^Rmi ^ Rad_5f^(F). This shows that [Rn '. i?nnRad_5f^(F)] < M for all n. It follows that the image of A„ in the quotient F/ Rad_^^(F) is {finite of order < Af }-by-{torsion-free polycyclic of rank < r}-by-{finite of order < M}. We infer that there is some A^ such that every finitely generated subgroup of the quotient H = F/Rad_sf^(F) is {torsion-free polycyclic of rank < r}-by-{finite of order < N}. In particular H is of finite rank. It only remains to show that H is virtually torsion-free. FIXED POINTS AND AMENABLILITY 29 To this end, let H' be the subgroup of H generated by all A^! powers. Thus H' is normal and the quotient H/H' is of finite exponent < A^!. In particular, for any finitely generated subgroup A < H, the image of A in H/H' is poly cyclic- by-finite of finite exponent, hence finite. Consequently H/H' is locally finite. On the other hand H/H' is of finite rank since H is so. Remark that a locally finite group of finite rank and of finite exponent must be finite by the solution to the restricted Burnside problem (see [Zcl91] and references therein). We conclude that H/H' is finite. Finally, given h G H', there is a finitely generated subgroup A of i? such that h belongs to the subgroup A' of A generated by all A^! powers of elements of A. Since A is {torsion- free}-by-{finite of order < A^}, it follows that A' is torsion- free. Consequently H' is torsion-free as well. D Proof of Theorem C. Let G = Is(A') and T < Is(A') be a discrete amenable subgroup. We already know from Theorem A that T/ Radjf^(r) is virtually soluble. We need to show that it is in fact virtually {torsion-free soluble of rank < r} for some r depending only on X. We start with a preliminary observation. Pick a basepoint x G X and let i? > be large enough so that every G-orbit meets the closed ball B{x,R) of radius R around x. For each z £ X, the stabiliser Gz is compact. Its image in the totally disconnected quotient G/G° is compact as well, and hence contained in some compact open subgroup of G/G° by [Cap09, Lemma 3.1]. Let Oz < G he the preimage in G of such a compact open subgroup. Thus Oz is open, contains Gz ■ G°, and the quotient Oz/G° is compact. We next remark that the union UzeBfx B) ^^ ^^ ^ relatively compact subset of G. We can therefore find a finite set zi,...,Zn such that \JzeB(x R)^z C \J^=i Oz^- Let O = nr=i ^zi- Thus O is open, hence contains G°, and the quotient 0/G° is compact. We claim that there is a uniform bound A'' such that for all z G B{x,R), we have [GzG° : GzG° D O] < N. The fact that this index is finite is clear since O is open. Since GzG° C UiLi ^^i, it follows that GzG° is covered by left cosets of O in the various groups Ozi- Therefore we obtain n [GzG°:GzG°nO]<Y, [O^r- O]. i=l The claim follows by setting A'^ = Yl^=i [Ozi '■ O]. We now return to the discrete amenable subgroup T < G. By Proposition 5.1, there is a F-invariant refined fiat F C Xg^^...^^^. of depth A; > 0. Let /: R^ x A'^j,,,,^^, — )■ X and g' : G^^^...^^^. — >• G be the maps provided by Propo- sition 3.16. By assumption F stabilises the flat R x F C R'^ x X^^ ^^^. Since / is g'-equivariant, it follows that ^'(F) stabilises the flat F' = /(R'^ x F) (1 X. By cocompactness, there is some h £ G such that h{F') meets the ball B{x,R). We set Q = Adho q' , so that ^(F) stabilises h[F'). It is quite possible that a softer argument could be provided in the present setting by invoking Corollary 2 page 141 of [SunTl]. 30 P.-E. CAPRACE AND N. MONOD Let H = q(T). Denote hy K < H the pointwise stabiliser of h{F'), which is thus compact and normal in H. The quotient H/K embeds as a closed subgroup of the Lie group ls{h{F')). Since X is cocompact, the dimension of F' is bounded above by a constant depending only on X. By Lemma 2.5 (or Lemma 5.3), the neutral component H° maps onto the neutral component of H/K. Consequently Proposition 5.10 ensures that the quotient H/{H°K) is {free abelian of rank < r'}-by- finite, where r' = r'{X) depends only on X. Let F' = q~^{H°K). Thus F/L' is {free abelian of rank < r'}-by- finite. By construction K fixes some point z G B{x,R). Therefore we have g{T') < H°K < G°G,. We finally set T" = q~\0). Thus [V : T"] < [G°G, : G°G, n O] < iV be the claim above. Let A < r" be a finitely generated subgroup. Thus ^(A) < O. Since A is finitely generated and O is open, it follows that the conjugate A„ = hgn^Qn^h^^ is contained in O for all sufficiently large n. By Theorem 2.1, the radical Radjf^(O) is compact and the group 0/Rad_sf^(0) is an almost connected Lie group. Moreover, the number of its connected components depends only on X. Notice moreover that A„ n Rad_sf^(0) is a finite normal subgroup of A„, thus contained in Rad_5f^(A„). By applying Proposition 5.11 to the quotient A„/A.„ n Rad^^(O), we deduce that Radj5f^(A„) is finite and that A„/Rad^^(A„) is {torsion- free polycyclic of rank < r"}-by-{finite of order < r"}, where r" depends only on X. The same properties therefore hold for A, since it is conjugate to A„. Recalling that [F' : F"] < N , we infer that for every finitely generated subgroup A < F', the radical Radjf^(A) is finitely generated and the quotient A/Rad^^(A) is {torsion- free polycyclic of rank < r"}-by-{finite of order < Nr"}. We are thus in a position to apply Lemma 5.12 to F', which ensures that F' is {torsion-free soluble of rank < r"}-by-finite. Recall further that F/F' is {free abelian of rank < r'}-by-finite. Therefore F is {torsion-free soluble of rank < r}-by-finite, where r = r' -\- r" depends only on X. This concludes the proof. D 5.D. An easy comment on nilpotent groups. For the record, we indicate a vari- ation on the Adams-Ballmann theorem [ABy8] that is apparently not available in the literature, giving a stronger conclusion in the special case of nilpotent groups. This easy comment is not needed for the results of this paper. Proposition 5.13. Let G he a nilpotent group acting hy isometries on a proper CAT(O) space X. Then either the G preserves a flat or it fixes a point ^ G dX and annihilates the Busemann character (3^. This will be proved inductively, using the following relative statement for general groups. Proposition 5.14. Let G he a group acting hy isometries on a proper CAT(O) space X. Then either the centre 3f{G) preserves a flat or G fixes a point ^ G dX and annihilates the Busemann character f3^. Proof of Proposition 5.14- For any finite subset F C ^(G) and any e > we define XF,e = {x £ X : d{zx,x) < \z\ + e y z £ F], FIXED POINTS AND AMENABLILITY 31 where \z\ denotes the infimal displacement length of z. By centrality, this closed convex subset of X is non-empty and G-invariant. Letting F grow and e shrink, we obtain a net of subsets, monotone decreasing with respect to inclusion. Assume first that the intersection Y of all Xp^^ is non-empty. Since all elements of 2f{G) have constant displacement on Y, there is a decomposition Y = R" x Yq (with n > 0) such that every element of 2f{G) acts by (possibly trivial) translations on R" and trivially on Yq, see Theorem II. 6. 15 in [BH99]. Thus 3f{G) preserves indeed a flat. We assume henceforth that the net Xp,, has empty intersection. This implies that the distance from a base-point p to Xp,, tends to infinity. Denote by pp^^ the projection of p to Xp^^. Any accumulation point ^ G dX of the net pp^^ will correspond to a G- invariant Busemann function since Xp^^ is G- invariant, finishing the proof. (Compare Proposition 2.1(2) in [AB9S].) ' D Proof of Proposition 5.13. We argue by induction on the nilpotency class of G; the base case is when G is the trivial group. For the inductive step, we apply Proposition 5.14 and need only consider the case where 3f{G) preserves a flat F in X. Upon passing to a subflat of minimal dimension, we see that F is minimal as (non-empty) convex 2f{G)- invariant subset. The union [/ C X of all such flats splits canonically as U = F x C for some proper CAT(O) space C endowed with a canonical G / 3f {G)-action, see Theorem 4.3 in [CM09b]. We now apply the induction hypothesis to this G/^(G)-action on G. If G/^{G) preserves a flat E <^ C, then G preserves the flat F x E '^ X and we are done. If on the other hand G/ ^{G) fixes a point ^ G dG C dX and annihilates the corresponding Busemann character, then we are also done since 3f{G) acts trivially on G. D References [AB98] Scot Adams and Werner Ballmann, Amenable isometry groups of Hadamard spaces, Math. Ann. 312 (1998), no. 1, 183-195. [Alb99] Paul Albuquerque, Patterson-Sullivan theory in higher rank symmetric spaces, Geom. Funct. Anal. 9 (1999), no. 1, 1-28. [Aus60] Louis Auslander, Discrete solvable matrix groups, Proc. Amer. Math. Soc. 11 (1960), 687- 688. [BH99] Martin R. Bridson and Andre Haefliger, Metric spaces of non-positive curvature, Grundlehren der Matheniatischen Wissenschaften 319, Springer, Berlin, 1999. [BM96] Marc Burger and Shahar Mozes, C AT {-!)- spaces, divergence groups and their commensura- tors, J. Amer. Math. Soc. 9 (1996), 57-93. [Bou60] Nicolas Bourbaki, Elements de mathematique. Premiere partie. (Fascicule III.) Livre III; Topologie generale. Chap. 3: Groupes topologiques. Chap. 4: A'^omfcres reek, Troisieme edition revue et augmentee, Actualites Sci. Indust., No. 1143. Hermann, Paris, 1960. [Bou04] , Integration. II. Chapters 1-9, Elements of Mathematics (Berlin), Springer- Verlag, Berlin, 2004, Translated from the 1963 and 1969 French originals by Sterling K. Berberian. [BS87] Marc Burger and Viktor Schroeder, Amenable groups and stabilizers of measures on the boundary of a Hadamard manifold, Math. Ann. 276 (1987), no. 3, 505-514. [Cap09] Pierre-Emmanuel Caprace, Amenable groups and Hadamard spaces with a totally discon- nected isometry group. Comment. Math. Helv. 84 (2009), 437-455. [CCMTll] Yves Cornulier, Pierre-Emmanuel Caprace, Nicolas Monod, and Roniain Tessera, Amenable hyperbolic groups. Preprint, 2011. [CFP96] James W. Cannon, William J. Floyd, and Walter R. Parry, Introductory notes on Richard Thompson's groups, Enseign. Math. (2) 42 (1996), no. 3-4, 215-256. 32 P.-E. CAPRACE AND N. MONOD [Cha50] Claude Chabauty, Limite d'ensembles et geometne des nombres, Bull. Soc. Math. France 78 (1950), 143-151. [CM09a] Pierre-Emmanuel Caprace and Nicolas Monod, Isometry groups of non-positively curved spaces: discrete subgroups, J Topology 2 (2009), no. 4, 701-746. [CM09b] , Isometry groups of non-positively curved spaces: structure theory, J Topology 2 (2009), no. 4, 661-700. [CSll] Pierre-Emmanuel Caprace and Michah Sageev, Rank rigidity for CAT(O) cube complexes, Geoni. Fund. Anal. 21 (2011), no. 4, 851-891. [CTll] Yves Cornulier and Romain Tessera, Contracting automorphisms and U' -cohomology in de- gree one, Arkiv for Matematik 49 (2011), no. 2, 295-324. [dC09] Yves de Cornulier, On lengths on semisimple groups, J. Topol. Anal. 1 (2009), no. 2, 113-121. [dlHRV94] Pierre de la Harpe, A. Guyan Robertson, and Alain Valette, On exactness of group C* - algebras. Quart. J. Math. Oxford Ser. (2) 45 (1994), no. 180, 499-513. [DS02] Antonio J. Di Scala, Minimal homogeneous submanifolds in Euclidean spaces, Ann. Global Anal. Geom. 21 (2002), no. 1, 15-18. [Far05] Daniel S. Farley, Actions of picture groups on CAT(O) cubical complexes, Geom. Dedicata 110 (2005), 221-242. [Fur63] Harry Furstenberg, A Poisson formula for semi-simple Lie groups, Ann. of Math. (2) 77 (1963), 335-386. [Hal74] P. Hall, On the embedding of a group in a join of given groups, J. Austral. Math. Soc. 17 (1974), 434-495, Collection of articles dedicated to the memory of Hanna Neumann, VIII. [Hat05] Toshiaki Hattori, Geometric limit sets of higher rank lattices, Proc. London Math. Soc. (3) 90 (2005), no. 3, 689-710. [Hei74] Ernst Heintze, On homogeneous manifolds of negative curvature. Math. Ann. 211 (1974), 23-34. [Hoc65] G. Hochschild, The structure of Lie groups, Holden-Day Inc., San Francisco, 1965. [Iwa49] Kenkichi Iwasawa, On some types of topological groups, Ann. of Math. (2) 50 (1949), 507-558. [Kle99] Bruce Kleiner, The local structure of length spaces with curvature bounded above. Math. Z. 231 (1999), no. 3, 409-456. [LeeOO] Bernhard Leeb, A characterization of irreducible symmetric spaces and Euclidean buildings of higher rank by their asymptotic geometry, Bonner Mathematische Schriften, 326, Universitat Bonn Mathematisches Institut, Bonn, 2000. [LR04] John C. Lennox and Derek J. S. Robinson, The theory of infinite soluble groups, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, Oxford, 2004. [Mei82] David Meier, Non-Hopfian groups, J. London Math. Soc. (2) 26 (1982), no. 2, 265-270. [Mei85] , Embeddmgs into simple free products, Proc. Amer. Math. Soc. 93 (1985), no. 3, 387-392. [Mil68] John Milnor, Growth of finitely generated solvable groups, J. Differential Geometry 2 (1968), 447-449. [Mon06] Nicolas Monod, Superrigidity for irreducible lattices and geometric splitting, J. Amer. Math. Soc. 19 (2006), no. 4, 781-814. [MP12] Nicolas Monod and Pierre Py, An equivariant deformation of the hyperbolic space. Preprint, 2012. [MR76] Peter R. Miiller-Romer, Kontrahierende Erweiterungen und kontrahierbare Gruppen, J. Reine Angew. Math. 283/284 (1976), 238-264. [MZ55] Deane Montgomery and Leo Zippin, Topological transformation groups, Interscience Publish- ers, New York-London, 1955. [Neu54] Bernhard Hermann Neumann, An essay on free products of groups with amalgamations, Philos. Trans. Roy. Soc. London. Ser. A. 246 (1954), 503-554. [01180] Richard K. Oliver, On Bieberbach's analysis of discrete Euclidean groups, Proc. Amer. Math. Soc. 80 (1980), no. 1, 15-21. [Pla65] Vladimir P. Platonov, Lokal projective nilpotent radicals in topological groups., Dokl. Akad. Nauk BSSR 9 (1965), 573-577. FIXED POINTS AND AMENABLILITY 33 [Rag72] Madabusi Santanam Raghunathan, Discrete subgroups of Lie groups, Springer- Verlag, New York, 1972, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 68. [Rei71] Hans Reiter, L^ -algebras and Segal algebras, Springer- Verlag, Berlin, 1971, Lecture Notes in Mathematics, Vol. 231. [Ros76] Shmuel Rosset, A property of groups of non- exponential growth, Proc. Amer. Math. Soc. 54 (1976), 24-26. [Sch76] Paul E. Schupp, Embeddings into simple groups, J. London Math. Soc. (2) 13 (1976), no. 1, 90-94. [Sun71] Vladimir Petrovich Sunkov, On locally finite groups of finite rank. Algebra and Logic 10 (1971), 127-142. [Tit72] Jacques Tits, Free subgroups in linear groups, J. Algebra 20 (1972), 250-270. [Usa63] V. L Usakov, Topological TC -groups, Sibirsk. Mat. Z. 4 (1963), 1162-1174. [vD31] David van Dantzig, Studien over topologische algebra (proefschrift), Ph.D. thesis, Groningen, 1931. [Weh73] Bertram A. F. Wehrfritz, Infinite linear groups. An account of the group-theoretic properties of infinite groups of matrices. Springer- Verlag, New York, 1973, Ergebnisse der Matematik und ihrer Grenzgebiete, Band 76. [Yam53] Hidehiko Yamabe, A generalization of a theorem of Gleason, Ann. of Math. (2) 58 (1953), 351-365. [Zas38] Hans Zassenhaus, Beweis eines Satzes iiber diskrete Gruppen., Abh. Math. Semin. Hansische Univ. 12 (1938), 289-312. [Zel91] Efim I. Zelmanov, On the restricted Burnside problem. Proceedings of the International Congress of Mathematicians, Vol. I, H (Kyoto, 1990) (Tokyo), Math. Soc. Japan, 1991, pp. 395-402. UCL - Math, Chemin du Cyclotron 2, 1348 Louvain-la-Neuve, Belgium E-mail address: pe.caprace@uclouvain.be EPFL, 1015 Lausanne, Switzerland E-mail address: nicolas.monod@epfl.ch